Enhancing the Performance and Dependability of Real-time Systems

نویسندگان

  • D. L. Hull
  • W. Feng
چکیده

The imprecise-computation technique was proposed as a way to handle transient overloads and enhance the dependability of real-time systems. In a system based on this technique, each time-critical task produces an approximate but usable result whenever a failure or overload prevents the system from producing a precise result. This approach makes meeting deadlines easier, increases the availability of data and services, reduces the need for error-recovery operations, and minimizes the costs in replication. In this paper, we provide an overview of ways to implement and schedule imprecise computations. We then describe the Imprecise Computation Server (ICS) and how it is used to ensure real-time performance of time-critical applications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integrating Dependability Analysis into the Real-time System Design Process

In this research, we are developing a design framework for integrating dependability analysis into the distributed, heterogeneous, fault-tolerant real-time system design process. We focus on two dependability attributes: reliability and availability. We are implementing this framework on top of existing systems for the design of distributed, real-time systems such as TimeWiz (Ref. 4). This will...

متن کامل

Enhancing UML by Safety-Related Constructs

To enable the description of safety-related software, the Unified Modeling Language is provided with well proven constructs as found, e.g., in corresponding subsets of the real-time programming language PEARL and in Function Block Diagrams according to IEC 61131-3. These constructs are ordered in nested sets to fulfill the respective requirements of the four Safety Integrity Levels of IEC 61508...

متن کامل

Dependability analysis of DES based on MARTE and UML state machines models

UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The “Modeling and Analysis of Real-Time and Embedded systems” profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a “Dependability Analysis and Modeling” profile (DAM), then providing UML with dependability ...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995